type T<U: {> = number
